定义域[0,1]函数：f(X)>=0 f(1)=1 对任意x1+x2<=1有f(x1+x2)>=f(X1)+f(x2)

∵x∈[0，1]
∴x1+x2≥x2
又∵f（x1+x2）≥f（x1）+f（x2）
∴f（x1+x2）≥f（x2）
∴函数f（x）在定义域中单调递增
∴f（x）存在反函数f-1（x）
又∵f[f（x0）]=x0，x0与f（x0）∈[0，1]
∴f-1（x0）=f（x0）
即一个函数的函数值与其反函数的函数值相等，说明其在定义域上的函数解析式为y=x
即所求f（x0）=x0
f-1(x0)为反函数